document.write('6144 ');