@(prod: Int) @import java.net._ ObSec Interpreter
@if(prod==1){ }else{ @{/**/} }