document.write('0778\n');