document.write('5193 ');