/* vi: set syntax=javascript:
 *
 * $Id$
 */

function play(url, width, height) {
	h = eval(height);
	h += 11;
	var pw = window.open (
		url,
		'PlayerWindow',
		'width=' + width + ', height=' + h + ', menubar=no, toolbar=no, scrollbars=no, resizable=no');
}