document.write('0576\n');