document.write('0760\n');