document.write('12696 ');