document.write (" 6089 ");