document.write('0293\n');