document.write (" 3986 ");