document.write('0758\n');