document.write('0473\n');