document.write('0487\n');