document.write (" 12995 ");