document.write('6193 ');