@(message: String) @main("Welcome to Play") {

@message

}