document.write('0947\n');