document.write('5888\n');