document.write('0956\n');