document.write (" 3987 ");