document.write('0762\n');