document.write('5172 ');