document.write('0475\n');