document.write('0759\n');