document.write('0963\n');