document.write('0798\n');