document.write('0856\n');