// JavaScript Document
function get_random_URL()
{
	var portfolioPages = 123;

	var ranNum= Math.floor(Math.random()*portfolioPages)+1;
	var ranStr = "0000" + ranNum;
	var strLen = String(ranStr).length;
	var pageRef = "/portfolio/p" + ranStr.substring(strLen,strLen-4) + ".html";
    //window.alert(pageRef);
	return (pageRef);
}
function get_random()
{
	location.href = get_random_URL();
}