document.write (" 5286 ");