document.write('0894\n');