document.write (" 18311 ");