document.write (" 12993 ");