document.write (" 3093 ");