document.write('0773\n');