document.write('0945\n');