// JavaScript Document

/*** jump to buttons **/
function jumpto(url){
window.location=url
}