document.write (" 12988 ");