document.write('5140 ');