document.write (" 12675 ");