document.write (" 12095 ");