document.write('5256 ');