document.write (" 12695 ");