document.write('0756\n');