function get_top() { document.write ('

'); }