document.write('0896\n');