document.write (" 12395 ");