document.write('0452\n');