$(function() { $(".Right").css("height", PH(window.location.pathname.split('/')[window.location.pathname.split('/').length - 1].split('.')[0]))});
function PH(p) { for (i = 0; i < a.length; ++i) if (p.toLowerCase() == a[i].split(';')[0].toLowerCase()) return a[i].split(';')[1] }
function PHNum(n) { return n.substring(0, n.toLowerCase().search("px")) }