document.write (" 3095 ");