document.write (" 11688 ");