document.write('5010 ');