function get_top() { document.write ('

_

'); }