document.write('5130 ');