document.write('0959\n');